Supervisory control of roadside units
نویسندگان
چکیده
A third of the Dutch highways is monitored and controlled by roadside units. These RSUs are safety-critical systems, as they safeguard roadworks accidents. Therefore, it essential to have guarantees on correctness unit controller. Using supervisory control theory, a correct-by-construction supervisor obtained from model system its requirements. From model, controller implementation can be automatically. There many units sharing same basic components, but in different numbers configurations. To take advantage this, parametric models used. Subsequently, these used create for configurations an unit. The purpose this paper show applicability theory end, parametrized components presented. synthesize specific unit, which validated using simulation. After validation, generated model. then hardware-in-the-loop
منابع مشابه
Enhancement of Robust Tracking Performance via Switching Supervisory Adaptive Control
When the process is highly uncertain, even linear minimum phase systems must sacrifice desirable feedback control benefits to avoid an excessive ‘cost of feedback’, while preserving the robust stability. In this paper, the problem of supervisory based switching Quantitative Feedback Theory (QFT) control is proposed for the control of highly uncertain plants. According to this strategy, the unce...
متن کاملPartial Observation in Distributed Supervisory Control of Discrete-Event Systems
Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...
متن کاملSupervisory Control for Nondeterministic Systems Supervisory Control for Nondeterministic Systems
In this paper we present the rst results of our attempt to set up a supervisory theory for nondeterministic discrete event systems. The supervisory control problem for nondeterministic systems is speciied and motivated. A necessary and suucient condition for the existence of a supervisor is derived. Also an algorithm is presented that will automatically generate a supervisor. The results are ex...
متن کاملFile downloading oriented Roadside Units deployment for vehicular networks
Article history: Available online 7 May 2013
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2022
ISSN: ['2405-8963', '2405-8971']
DOI: https://doi.org/10.1016/j.ifacol.2022.10.327